<html>
<head><meta charset="utf-8"><title>State of -Zpolonius · t-compiler/wg-polonius · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/index.html">t-compiler/wg-polonius</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/State.20of.20-Zpolonius.html">State of -Zpolonius</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="198112484"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/State%20of%20-Zpolonius/near/198112484" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jake Goulding <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/State.20of.20-Zpolonius.html#198112484">(May 19 2020 at 19:07)</a>:</h4>
<p>At one point, I was told that <code>-Zpolonius</code> was effectively broken and allowed all sorts of bogus code. Is that still the case?</p>



<a name="198112548"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/State%20of%20-Zpolonius/near/198112548" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jake Goulding <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/State.20of.20-Zpolonius.html#198112548">(May 19 2020 at 19:07)</a>:</h4>
<p>It's a useful tool to be able to say things like "this code will work in the future, b/c I tested it with <code>-Zpolonius</code>", but not if it doesn't work-work</p>



<a name="198112759"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/State%20of%20-Zpolonius/near/198112759" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/State.20of.20-Zpolonius.html#198112759">(May 19 2020 at 19:09)</a>:</h4>
<p>I think it hasn't been significantly broken for a long time now, although there's no CI for it.</p>



<a name="198114438"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/State%20of%20-Zpolonius/near/198114438" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jake Goulding <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/State.20of.20-Zpolonius.html#198114438">(May 19 2020 at 19:23)</a>:</h4>
<p>Now, just gotta turn the polonius switch then, right? <span aria-label="cry" class="emoji emoji-1f622" role="img" title="cry">:cry:</span></p>



<a name="198130219"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/State%20of%20-Zpolonius/near/198130219" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/State.20of.20-Zpolonius.html#198130219">(May 19 2020 at 21:37)</a>:</h4>
<p>while I wouldn't say it's broken per se, it can still be slow (esp w/ the move errors computation), OOM, contain bugs (especially dealing with higher-ranked things as those will require chalk)</p>



<a name="198140910"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/State%20of%20-Zpolonius/near/198140910" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jake Goulding <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/State.20of.20-Zpolonius.html#198140910">(May 19 2020 at 23:44)</a>:</h4>
<p>@lqd it may be hard to say, but which style of bugs? Allowing code that it shouldn't or disallowing code it should allow?</p>



<a name="198166345"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/State%20of%20-Zpolonius/near/198166345" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/State.20of.20-Zpolonius.html#198166345">(May 20 2020 at 08:06)</a>:</h4>
<p>unfortunately for now I'd say the former, to handle the problems described in <a href="https://smallcultfollowing.com/babysteps/blog/2019/01/21/hereditary-harrop-region-constraints/">https://smallcultfollowing.com/babysteps/blog/2019/01/21/hereditary-harrop-region-constraints/</a> there's still some necessary chalk-polonius interaction that doesn't exist yet. That being said, chalk has been making a lot of progress recently and the wg has recently started working on a lot of those building blocks, so fixing this might not be so far off</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>